/*
测试实例：空约束
约束的工作机制会产生这样的效果：即使一个trait不包含任何功能，你仍然可以用它作为约束。
标准库中的 `Eq` 和 `Ord`就是这样的trait
*/
struct Cardinal;
struct BlueJay;
struct Turkey;

trait Red {

}

trait Blue {

}

impl Red for Cardinal {

}

impl Blue for BlueJay {

}

// 这些函数只对实现了相应的trait 的类型有效
// 事实上，这些trait 内部是空的，但这没关系
fn red<T: Red>(_: &T) -> &'static str {
    "red"
}

fn blue<T: Blue>(_: &T) -> &'static str {
    "blue"
}

fn main() {
    let cardinal = Cardinal;
    let blue_jay = BlueJay;
    let _turkey = Turkey;

    println!("A cardinal is {}", red(&cardinal));
    println!("A blue jay is {}", blue(&blue_jay));

    //println!("A turkey is {}", red(&_turkey));
}